When Can Finite Testing Ensure Infinite Trustworthiness?
نویسندگان
چکیده مقاله:
In this paper we contribute to the general philosophical question as to whether empirical testing can ever prove a physical law. Problems that lead to this question arise under several contexts, and the matter has been addressed by the likes of Bayes and Laplace. After pointing out that a Bayesian approach is the proper way to address this problem, we show that the answer depends on what we start with. Namely, under certain prior assumptions, a finite amount of testing can lead to the conclusion of total trustworthiness, though such priors could be unrealistic. However, we do produce a new class of priors under which a finite amount of testing can lead to a high degree of trustworthiness, at a relatively fast pace. We use the scenario of software testing as a way to motivate and discuss our development.
منابع مشابه
Can Observers Predict Trustworthiness?∗
We analyze experimental evidence on whether untrained subjects can predict how trustworthy an individual is. Two players on a TV show play a high stakes prisoner’s dilemma with pre-play communication. Our subjects report probabilistic beliefs that each player cooperates, before and after communication. Subjects correctly predict that women, and players who voluntarily promise that they will coo...
متن کاملSupplement to " Testing Whether Jumps Have Finite or Infinite Activity
When ≥ 2 these processes are finite-valued, but not necessarily so when 2. In this case we have to be careful: if = inf( : () =∞) and 0 = inf( : 0() = ∞) then both processes () and 0() are null at 0 and finite-valued on [0 ) and [0 0) respectively, the first continuous and the second one càdlàg with jumps not bigger than 1, and they are infinite on (∞) and (0∞). H...
متن کاملTesting Whether Jumps Have Finite or Infinite Activity
We propose statistical tests to discriminate between the finite and infinite activity of jumps in a semimartingale discretely observed at high frequency. The two statistics allow for a symmetric treatment of the problem: we can either take the null hypothesis to be finite activity, or infinite activity. When implemented on high-frequency stock returns, both tests point toward the presence of in...
متن کاملOn what we can ensure
The Conjunction Principle says, roughly, that if the truth of a conjunction can be brought about, then the truth of each conjunct can be brought about. The current essay argues that this principle is not valid. After a clarification of the principle, it is shown how a proper understanding of the involved notions falsify the principle. As a corollary, a recent attack on van Inwagen’s Consequence...
متن کاملHeuristics for fault diagnosis when testing from finite state machines
When testing from Finite State Machines (FSMs), a failure observed in the Implementation Under Test (IUT) is called a symptom. A symptom could have been caused by an earlier state transfer failure. Transitions that may be used to explain the observed symptoms are called diagnosing candidates. Finding strategies to generate an optimal set of diagnosing candidates that could effectively identify ...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
عنوان ژورنال
دوره 3 شماره None
صفحات 1- 37
تاریخ انتشار 2004-03
با دنبال کردن یک ژورنال هنگامی که شماره جدید این ژورنال منتشر می شود به شما از طریق ایمیل اطلاع داده می شود.
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023